; TEST-ARGS: -disallow-ub-exploitation

declare ptr @fn() null_pointer_is_valid

define i32 @src() null_pointer_is_valid {
  %call1 = call ptr @fn()
  load i32, ptr %call1, align 1
  ret i32 0
}

define i32 @tgt() null_pointer_is_valid {
  %call1 = call ptr @fn()
  load i32, ptr %call1, align 1
  ret i32 0
}
